1. A Distinctive Leadership for a Distinctive Network of Churches? Psychological Type Theory and the Apostolic Networks
پدیدآورنده: Leslie J. Francis, William K. Kay, Mandy Robbins
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: APOSTOLIC NETWORKS,CLERGY,FRANCIS PSYCHOLOGICAL TYPE SCALES,PENTECOSTAL,PSYCHOLOGICAL TYPE
2. A modern perspective on type theory :
پدیدآورنده: by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Type theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Type theory.,Type theory.,Typentheorie.
رده :
QA9
.
K225
2004
3. A modern perspective on type theory
پدیدآورنده: / by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Type theory.
رده :
QA9
,.
K225
,
2004
4. A modern perspective on type theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Type theory. ;
5. A transfinite type theory with type variables
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Type theory
رده :
QA
9
.
A64
6. Abstraction and instance: the type-token relation in linguistic theory
پدیدآورنده: Hutton, Christopher
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع: ، Type and token )Linguistics(,، Linguistic analysis )Linguistics(,، Aesthetics
رده :
P
128
.
T9H8
1990
7. Algebraic groups : the theory of group schemes of finite type over a field
پدیدآورنده: Milne, James S., 2491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Geometry, Algebraic,، Group theory
رده :
QA
564
.
M55A4
8. An introduction to mathematical logic and type theory :
پدیدآورنده: by Peter B. Andrews.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Type theory.
رده :
QA9
.
B974
2011
9. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
10. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
11. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده: Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
12. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
13. An introduction to mathematical logic & type theory:to truth
پدیدآورنده: ANDREWS,PETER BRUCE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY
رده :
QA
9
.
A638
14. Analytic Methods in the Theory of Differential and Pseudo-Differential Equations of Parabolic Type
پدیدآورنده: by Samuil D. Eidelman, Anatoly N. Kochubei, Stepan D. Ivasyshen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Differential equations, Partial.,Mathematical physics.,Mathematics.,Operator theory.
15. Analytic methods in the theory of differential and pseudo-differential equations of parabolic type
پدیدآورنده: Eidelman, S. D. )Samuil Davidovich(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Difference equations,، Difference operators,، Finite differences,، Numerical analysis
رده :
QA
431
.
E34
2004
16. Basic simple type theory /
پدیدآورنده: Hindley,J.Roger
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، programing languages)electronic computers(,، type theory
رده :
QA
76
.
7
.
H55
1996
17. Categorical logic and type theory
پدیدآورنده: / Bart Jacobs
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Type theory.,Categories (Mathematics)
رده :
QA9
,.
J27
,
1999
18. Categorical logic and type theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Type theory. ; Categories (Mathematics) ;
19. Categorical logic and type theory
پدیدآورنده: Jacobs, Bart
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Type theory,، Categories )Mathematics(
رده :
QA
9
.
J22
20. Computation and reasoning : a type theory for computer science
پدیدآورنده: Luo, Zhaohui.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science
رده :
QA
76
.
L79
1994
